The date and the names are separated by one blank character.
日期和名称是一个空白字符分隔。
The job identifier can contain any non-blank character except slashes (/).
作业标识符可以包含除了斜线（/）之外的所有非空白字符。
The key bit is the top-level extension element x:wsbuffer which provides a stock of blank character content to be used in the replacement operation.
关键是顶层的扩展元素 x:wsbuffer，它提供了替换操作中所使用的空白字符内容。
应用推荐